(define (problem pb7)
	(:domain travel)
	(:requirements :strips :equality)
  	(:objects a b c d e f g jack bulldozer)
  	(:init (at jack a) (at bulldozer e)
		(vehicle bulldozer)
	 	(mobile jack)
	 	(person jack)
	 	(road a b) (road b a)
	 	(road a e) (road e a)
	 	(road e b) (road b e)
	 	(road a c) (road c a)
	 	(road c b) (road b c)
	 	(bridge b d) (bridge d b)
	 	(bridge c f) (bridge f c)
	 	(road d f) (road f d)
	 	(road f g) (road g f)
	 	(road d g) (road g d))
	(:goal (and (at bulldozer g) (at Jack a)))	 	
)